1. Advances in Data Base Theory :
Author: edited by Hervé Gallaire, Jack Minker, Jean Marie Nicolas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Data structures (Computer science)
Classification :
QA76
.
9
.
D35
E358
1981
2. Foundations of deductive databases and logic programming
Author: contributors, Krzysztof R. Apt ... ]et al.[ ; edited by Jack Minker
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Deductive data bases , Logic programming
Classification :
QA
76
.
9
.
D32
F68
1988
3. Logic-based artificial intelligence /
Author: edited by Jack Minker.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer logic.,Logic, Symbolic and mathematical.,Intelligence artificielle.,Logique informatique.,Logique symbolique et mathématique.,Artificial intelligence.,Computer logic.,Künstliche Intelligenz,Logic, Symbolic and mathematical.,Mathematische Logik
Classification :
QA76
.
9
.
L63
L62
2000
